adanse nom.1 ^{grammar (beta)}

[nom:proof]